de Morgan 代數
De Morgan algebra in nLab